Free logic - PDFSEARCH.IO - Document Search Engine

Free logic
Results: 431

#	Item
41	Introduction & Motivation Relations and Operations The complexity of positive equality-free first-order logic II: the four-element case Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-08-24 16:58:08 Complexity classes Finite model theory Computational complexity theory Descriptive complexity Structural complexity theory FO SO P versus NP problem NP P Reduction HO
42	Introduction & Motivation Relations and Operations The complexity of positive equality-free first-order logic Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-09-09 14:15:56 Complexity classes Finite model theory Computational complexity theory Descriptive complexity FO Constraint programming Constraint satisfaction problem P Model theory Mathematical logic Constraint satisfaction HO
43	BRICS Basic Research in Computer Science BRICS RSDanvy & Rose: Higher-Order Rewriting and Partial Evaluation Higher-Order Rewriting and Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lambda calculus Computability theory Theoretical computer science Logic in computer science Combinatory logic Recursion Term Free variables and bound variables Lambda calculus definition
44	CUBULATING HYPERBOLIC FREE-BY-CYCLIC GROUPS: THE IRREDUCIBLE CASE MARK F. HAGEN AND DANIEL T. WISE Abstract. Let V be a nite graph and let φ : V → V be an irreducible train track map whose mapping torus has word-hype Add to Reading List Source URL: www.wescac.net Language: English - Date: 2015-08-17 19:52:03 Geometric group theory Geometric topology Train track map Free group Universal property Dynamical system Fiber bundle Orbifold Linear temporal logic
45	02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013 Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-10-21 08:25:00 Lambda calculus Combinatory logic Lambda calculus definition Reduction strategy Free variables and bound variables Lambda Fixed-point combinator Anonymous function Term Variable Beta normal form
46	c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming A-normal form Let expression Fixed-point combinator Exponentiation Expression Monad Anonymous function Free variables and bound variables Combinatory logic Standard ML
47	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: yoavartzi.com Language: English - Date: 2016-08-12 04:07:46 Predicate logic Type theory Logic in computer science Computability theory Lambda calculus Combinatory categorial grammar Quantifier Combinatory logic Parsing Free variables and bound variables Weight
48	A concise guide to VMM Verification Methodology Version 1.2 VMM is available for free download at www.vmmcentral.org VMM Golden Reference Guide First Edition, January 2010 Copyright © 2010 by Doulos Ltd. All rights res Add to Reading List Source URL: vmmcentral.org Language: English - Date: 2010-03-04 18:39:33 Hardware verification languages Hardware description languages SystemVerilog Electronic design automation Logic design E Bus Functional Model Verilog Mentor Graphics Transaction-level modeling Reference Verification Methodology
49	A note on the Π02–induction rule∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe-Universit¨at, Robert-Mayer-Strasse 6–10, D–60054 Frankfurt, Germany Abstract It is well–known (due to C. Parsons) that th Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:10:40 Predicate logic Computability theory Recursion Logic Theory of computation Primitive recursive arithmetic Primitive recursive function Quantifier First-order logic Free variables and bound variables Herbrandization
50	KRDB RESEARCH CENTRE KNOWLEDGE REPRESENTATION MEETS DATABASES Faculty of Computer Science, Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100 Bolzano, Italy Tel: +, fax: +, http://ww Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2006-10-02 06:06:35 Mathematics Logic Mathematical logic Ontology Boolean algebra Mereology Predicate logic Algebraic logic ZermeloFraenkel set theory Binary relation Power set Mereotopology

UPDATE